MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

Written over the last 18 months of his life and inspired by his interest in G. E. Moore's defence of common sense, this much discussed volume collects Wittgenstein's reflections on knowledge and certainty, on what it is to know a proposition for sure.

This considerably revised second edition of Wittgenstein's 1914-16 notebooks contains a new appendix with photographs of Wittgenstein's original work, a new preface by Elizabeth Anscombe, and a useful index by E.D. Klemke. Corrections have been made throughout the text, and notes have been added, making this the definitive edition of the notebooks. The writings intersperse Wittgenstein's technical logical notations with his thoughts on the meaning of life, happiness, and death. "When the first edition of this collection of remarks appeared in (...) 1961 we were provided with a glimpse of the workings of Wittgenstein's mind during the period when the seminal ideas of the _Tractatus Logico-Philosophicus_ were being worked out. This second edition provided the occasion to be struck anew by the breadth, rigor, and above all the restlessness of that mind."—T. Michael McNulty, S. J., _The Modern Schoolman_. (shrink)

This bilingual edition of the Remarks on the Philosophy of Psychology presents the first English translation of an essential body of Wittgenstein's work. It elaborates Wittgenstein's views on psychological concepts such as expectation, sensation, knowing how to follow a rule, and knowledge of the sensations of other persons. It also shows strong emphasis on the "anthropological" aspect of Wittgenstein's thought.

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Humanism, modernity, and scientific rationality are examined critically in these collected essays.

'The most thorough and scrupulous of contemporary students of induction' (the execrable Quinton 1993, p. 172).

Descartes made a sharp distinction between matter and mind. But he also thought that the two interact with one another. Is such interaction possible, however, without either a materialist reduction of mind to matter or an idealist (phenomenalist) reduction of matter to mind? These questions overshadow the Western tradition in metaphysics from the time of Descartes to present times. The book makes an effort to stay clear of reductivist views of the two Cartesian substances. It defends a dualistic psycho-physical parallel (...) theory which reconciles freedom of action with determinism in nature. Basic problems in perception theory are also discussed, with special emphasis on hearing and sound. Because of the intrinsic interest of the subject and the author's non-technical presentation of it, the book should appeal to all readers with a serious interest in philosophy and psychology. (shrink)

Over the last decade many emerging economies, and in particular Brazil, have established themselves as major players in global food animal production. Within these countries much of the increase in food animal production has been achieved by the adoption of intensive housing systems similar to those found in most industrialized countries. However, it is now well established that many of these systems are associated with numerous welfare problems, particularly with respect to restriction of movement. Previous work has shown that people (...) living in industrialized’ countries broadly support farm animal welfare reform, and that similar criticisms may be voiced from citizens living in developing countries as they become more aware of confinement housing and potentially contentious husbandry practices. Given the developments that have taken place in other countries, there are lessons that could be learned and applied by emerging economies that would undoubtedly ease or prevent the challenges observed in other countries. Thus, we briefly describe the vehicles used by different countries when addressing animal welfare that may provide insights into identifying possible challenges and potential solutions for Brazil and other emerging economies. Where available we review the associated science and identify gaps where more research is needed. We conclude by providing a possible roadmap on how farm animal welfare reform may be addressed in emerging countries. Solutions will need to be tailored, culturally relevant, and science must play a key role in supporting animal welfare reform in the emerging countries. (shrink)